algebraic structure definition